Algorithm engineering - PDFSEARCH.IO - Document Search Engine

Algorithm engineering
Results: 1680

#	Item
391	R E ACT ! An Interactive Tool for Hybrid Planning in Robotics Zeynep Dogmus, Volkan Patoglu and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, ˙Istanbul, Turkey Email: {zeynepdogmus,vpatogl Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Logic programming Automated planning and scheduling Formal methods Reasoning Action description language Answer set programming Action language Algorithm Boolean satisfiability problem Theoretical computer science Applied mathematics Artificial intelligence
392	Proceedings of Workshop on Software in High-Energy Physics, pages 1-12, CERN, Geneva, 4-6 OctoberProgramming Michael Jackson Software Development Consultant 101 Hamilton Terrace Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-11-19 09:59:08 Procedural programming languages Holism Source code Subroutine University of Cambridge Computer Laboratory Fortran Parallel computing C Algorithm Computing Software engineering Computer programming
393	Journal of Artificial Intelligence Research Submitted 04/08; publishedAsynchronous Forward Bounding for Distributed COPs Amir Gershman Add to Reading List Source URL: jair.org Language: English - Date: 2009-02-10 12:35:28 Computing Local consistency Constraint optimization Distributed constraint optimization Constraint satisfaction problem Backjumping Assignment Search algorithm Branch and bound Constraint programming Software engineering Computer programming
394	sharewave_vs_gaht_hist.eps Add to Reading List Source URL: www.cs.ucsb.edu Language: English - Date: 2010-03-08 00:29:11 Radio resource management Operations research Channel Information theory Greedy algorithm Spectrum management Orthogonal frequency-division multiplexing Linear programming Static single assignment form Mathematics Mathematical optimization Telecommunications engineering
395	Approximately Counting Perfect Matchings in General Graphs Martin F¨ urer ∗ Shiva Prasad Kasiviswanathan Computer Science and Engineering Pennsylvania State University University Park, PA 16802. {furer, kasivisw}@cse. Add to Reading List Source URL: www.siam.org Language: English - Date: 2005-07-06 08:19:14 Matching Computational problems Algebraic graph theory Combinatorial optimization Computing the permanent Randomized algorithm Graph factorization Adjacency matrix Bipartite graph Mathematics Graph theory Theoretical computer science
396	Computer Science 83 Add to Reading List Source URL: www.mtsu.edu Language: English - Date: 2015-03-02 22:18:15 Systems design Computer Computing Electronics Mathematics Systems engineering Parallel computing Computer science Algorithm
397	NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation Sumit Gulwani Mark Marron Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-04 14:26:05 Spreadsheet Formal languages Microsoft Excel Algorithm Regular expression ALGOL 68 Dynamic programming Eval Formula Computing Software engineering Mathematics
398	An O(ND) Difference Algorithm and Its Variations∗ EUGENE W. MYERS Department of Computer Science, University of Arizona, Tucson, AZ 85721, U.S.A. ABSTRACT Add to Reading List Source URL: xmailserver.org Language: English - Date: 2007-02-16 03:04:45 Operations research NP-complete problems Dynamic programming Equations Systems engineering Shortest path problem Longest common subsequence problem Graph Catalan number Mathematics Theoretical computer science Graph theory
399	Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems∗ Sumit Gulwani Microsoft Research, Redmond Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-04-25 18:08:10 Software Domain-specific language Spreadsheet End-user development Program synthesis Algorithm Programming by example Programming Language Design and Implementation Synthesizer Software engineering Computing Programming paradigms
400	Lecture 13: Certificates, Digital Signatures, and the Diffie-Hellman Key Exchange Algorithm Lecture Notes on “Computer and Network Security” by Avi Kak () February 26, 2015 Add to Reading List Source URL: engineering.purdue.edu Language: English - Date: 2015-02-26 14:50:25 Cryptographic protocols Electronic commerce X.509 Diffie–Hellman key exchange Public key infrastructure Man-in-the-middle attack Key authentication Public key certificate Key Cryptography Key management Public-key cryptography

UPDATE